Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
281	Action Pruning Through Under-approximation Refinement Master’s Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-04 05:49:32 Science Mind Operations research Automated planning and scheduling Heuristic function Heuristic Algorithm Search algorithm Planning Domain Definition Language Problem solving Artificial intelligence Heuristics
282	The Structure of Mathematics Lessons in Australia* David Clarke University of Melbourne Paper presented as part of the symposium “Mathematics Lessons in Germany, Japan, the USA Add to Reading List Source URL: www.lps.iccr.edu.au Language: English - Date: 2005-10-18 18:30:19 Lesson Pedagogy Educational psychology Language education Education Teaching Learning
283	The Hybrid Invention Generator — Assorted Relations Bill Seaman Gideon May — programmer Funded by Intel Description of the Hybrid Invention Generator A computer-based language system exploring hybrid invention genera Add to Reading List Source URL: projects.visualstudies.duke.edu Language: English - Date: 2007-12-24 00:13:32 Theoretical computer science Models of computation Abstraction Axiology Logic Invention Computer Turing machine Electric generator Science British people Mathematics
284	Quine on Modal Logic Justin Bledin March 13, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-14 02:21:00 Philosophy of language Opaque context Predicate logic Philosophical logic Function Free variables and bound variables Modal logic Referential transparency Logic Mathematics Analytic philosophy
285	PDF Document Add to Reading List Source URL: parrhesiajournal.org Language: English - Date: 2011-11-14 16:34:56 Meaning Logic Philosophical logic Philosophers of mathematics Dichotomies Sense and reference Gottlob Frege Edmund Husserl De dicto and de re Philosophy Philosophy of language Analytic philosophy
286	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.skazkaforyou.com Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
287	S.1 Student Course BookName:__________________ Class:___________________ Class No.:_______________ Add to Reading List Source URL: www.twghkywc.edu.hk Language: English - Date: 2014-12-30 05:14:22 Lexicography Vocabulary English language Dictionary Language Word Mathematics Preposition and postposition Basic English Linguistics Languages of Africa Culture
288	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
289	Knowledge-Based Question Answering as Machine Translation Junwei Bao† ∗, Nan Duan‡ , Ming Zhou‡ , Tiejun Zhao† Harbin Institute of Technology† Microsoft Research‡ {nanduan, mingzhou}@ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-06-04 02:15:37 Computational linguistics Information retrieval Natural language processing Grammar Predicate logic Question answering Predicate Question Open domain question answering Science Logic Mathematics
290	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing

UPDATE